$\forall$$r$:rationals. ($r$ + {-}($r$)) = 0 $\in$ rationals